$\forall$$g$, $h$:GrpSig, $f$:MonHom($g$,$h$). IsMonHom\{$g$,$h$\}($f$)